<?php
include('common.php');

exit_ok($_SESSION['user']);
